use "bjkParser.sml";
use "bkj.ml";

fun analyse(ast : Core.Cmd) = 
	let
		val _ = Pol.analyse(ast);
	in
		Lin.analyse(ast)
	end;
	
val ast = BJKParserInterface.parseAndPrint("amir1.core");
analyse(ast);
val ast = BJKParserInterface.parseAndPrint("amir2.core");
analyse(ast);
val ast = BJKParserInterface.parseAndPrint("amir3.core");
analyse(ast);
val ast = BJKParserInterface.parseAndPrint("amir4.core");
analyse(ast);
